TSTP Solution File: ANA105^1 by Nitpick---2016